21. A course in mathematical logic for mathematicians
پدیدآورنده : / Yu. I. Manin
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Logic, Symbolic and mathematical
رده :
QA9
.
M29613
2010
22. A first course in optimization theory /
پدیدآورنده : Rangarajan K. Sundaram
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematical optimization,Programming (Mathematics),Mathematische Optimierung-- Theorie,Optimierung-- Lehrbuch
رده :
QA402
.
5
.
S837
1996
23. Algebras of Pseudodifferential Operators
پدیدآورنده : by B. A. Plamenevskii.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Geometry.,Global analysis (Mathematics).,Mathematics.
25. An introduction to mathematical logic and type theory : to truth through proof
پدیدآورنده : Andrews, Peter Bruce
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
1986
26. An introduction to mathematical logic and type theory: to truth through proof
پدیدآورنده : Andrews, Peter Bruce
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
27. An introduction to the language of mathematics /
پدیدآورنده : Frédéric Mynard.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Proof theory.,Mathematical logic.,Mathematics-- Logic.,Proof theory.
رده :
QA9
.
54
28. Aspect of Modern Logic
پدیدآورنده : by Evert W. Beth.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic.,Philosophy (General),Philosophy.
رده :
BC78
.
D8
B948
1970
29. Augustus De Morgan and the Logic of Relations
پدیدآورنده : by Daniel D. Merrill.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic.,Philosophy (General),Philosophy, Modern.
30. Automated Deduction -- CADE-12 :
پدیدآورنده : edited by Alan Bundy.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
31. Automated Theory Formation in Pure Mathematics
پدیدآورنده : by Simon Colton.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
رده :
QA8
.
4
B975
2002
32. Automation of Reasoning :
پدیدآورنده : edited by Jörg H. Siekmann, Graham Wrightson.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
رده :
QA76
.
9
.
A96
E358
1983
34. BL,BL
پدیدآورنده : / Marshall G.S. Hodgson. ,20090530 0
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
35. Basic Concepts of Synthetic Differential Geometry
پدیدآورنده : by René Lavendhomme.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra.,Cell aggregation-- Mathematics.,Global differential geometry.,Logic, Symbolic and mathematical.,Mathematics.
36. Bibliography of mathematical logic
پدیدآورنده :
کتابخانه: Central Library and Document Center of Arak University (Markazi)
موضوع : Logic,Symbolic and mathematical-Bibliography
رده :
016
.
5113
R
37. Book of proof /
پدیدآورنده : Richard Hammack, Virginia Commonwealth University.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Proof theory, Textbooks.,Proof theory.
رده :
QA9
.
54
.
H345
2018
38. Cold war history
پدیدآورنده : edited by Frédéric Bozo ... [ et al.].
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
39. Combinatorics Advances
پدیدآورنده : edited by Charles J. Colbourn, Ebadollah S. Mahmoodian.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Combinatorics.,Computational complexity.,Mathematics.,Number theory.
40. Compendium for early career researchers in mathematics education /
پدیدآورنده : Gabriele Kaiser, Norma Presmeg, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematics-- Study and teaching-- Research.,Mathematics-- Study and teaching-- Research.
رده :
QA11
.
2
